(define (problem p40)
  (:domain earth_observation)
  (:objects 
    p11 p12 p13 p14 p15 p16 p17 p18 p19 p110 p111 p112 p113 p21 p22 p23 p24 p25 p26 p27 p28 p29 p210 p211 p212 p213 p31 p32 p33 p34 p35 p36 p37 p38 p39 p310 p311 p312 p313 p41 p42 p43 p44 p45 p46 p47 p48 p49 p410 p411 p412 p413 p51 p52 p53 p54 p55 p56 p57 p58 p59 p510 p511 p512 p513 p61 p62 p63 p64 p65 p66 p67 p68 p69 p610 p611 p612 p613 p71 p72 p73 p74 p75 p76 p77 p78 p79 p710 p711 p712 p713 p81 p82 p83 p84 p85 p86 p87 p88 p89 p810 p811 p812 p813 p91 p92 p93 p94 p95 p96 p97 p98 p99 p910 p911 p912 p913 p101 p102 p103 p104 p105 p106 p107 p108 p109 p1010 p1011 p1012 p1013 - patch 
  )
  (:init
    (CONNECTED p11 p22 north-east)
    (CONNECTED p11 p21 east)
    (CONNECTED p12 p23 north-east)
    (CONNECTED p12 p22 east)
    (CONNECTED p12 p21 south-east)
    (CONNECTED p13 p24 north-east)
    (CONNECTED p13 p23 east)
    (CONNECTED p13 p22 south-east)
    (CONNECTED p14 p25 north-east)
    (CONNECTED p14 p24 east)
    (CONNECTED p14 p23 south-east)
    (CONNECTED p15 p26 north-east)
    (CONNECTED p15 p25 east)
    (CONNECTED p15 p24 south-east)
    (CONNECTED p16 p27 north-east)
    (CONNECTED p16 p26 east)
    (CONNECTED p16 p25 south-east)
    (CONNECTED p17 p28 north-east)
    (CONNECTED p17 p27 east)
    (CONNECTED p17 p26 south-east)
    (CONNECTED p18 p29 north-east)
    (CONNECTED p18 p28 east)
    (CONNECTED p18 p27 south-east)
    (CONNECTED p19 p210 north-east)
    (CONNECTED p19 p29 east)
    (CONNECTED p19 p28 south-east)
    (CONNECTED p110 p211 north-east)
    (CONNECTED p110 p210 east)
    (CONNECTED p110 p29 south-east)
    (CONNECTED p111 p212 north-east)
    (CONNECTED p111 p211 east)
    (CONNECTED p111 p210 south-east)
    (CONNECTED p112 p213 north-east)
    (CONNECTED p112 p212 east)
    (CONNECTED p112 p211 south-east)
    (CONNECTED p113 p213 east)
    (CONNECTED p113 p212 south-east)
    (CONNECTED p21 p32 north-east)
    (CONNECTED p21 p31 east)
    (CONNECTED p22 p33 north-east)
    (CONNECTED p22 p32 east)
    (CONNECTED p22 p31 south-east)
    (CONNECTED p23 p34 north-east)
    (CONNECTED p23 p33 east)
    (CONNECTED p23 p32 south-east)
    (CONNECTED p24 p35 north-east)
    (CONNECTED p24 p34 east)
    (CONNECTED p24 p33 south-east)
    (CONNECTED p25 p36 north-east)
    (CONNECTED p25 p35 east)
    (CONNECTED p25 p34 south-east)
    (CONNECTED p26 p37 north-east)
    (CONNECTED p26 p36 east)
    (CONNECTED p26 p35 south-east)
    (CONNECTED p27 p38 north-east)
    (CONNECTED p27 p37 east)
    (CONNECTED p27 p36 south-east)
    (CONNECTED p28 p39 north-east)
    (CONNECTED p28 p38 east)
    (CONNECTED p28 p37 south-east)
    (CONNECTED p29 p310 north-east)
    (CONNECTED p29 p39 east)
    (CONNECTED p29 p38 south-east)
    (CONNECTED p210 p311 north-east)
    (CONNECTED p210 p310 east)
    (CONNECTED p210 p39 south-east)
    (CONNECTED p211 p312 north-east)
    (CONNECTED p211 p311 east)
    (CONNECTED p211 p310 south-east)
    (CONNECTED p212 p313 north-east)
    (CONNECTED p212 p312 east)
    (CONNECTED p212 p311 south-east)
    (CONNECTED p213 p313 east)
    (CONNECTED p213 p312 south-east)
    (CONNECTED p31 p42 north-east)
    (CONNECTED p31 p41 east)
    (CONNECTED p32 p43 north-east)
    (CONNECTED p32 p42 east)
    (CONNECTED p32 p41 south-east)
    (CONNECTED p33 p44 north-east)
    (CONNECTED p33 p43 east)
    (CONNECTED p33 p42 south-east)
    (CONNECTED p34 p45 north-east)
    (CONNECTED p34 p44 east)
    (CONNECTED p34 p43 south-east)
    (CONNECTED p35 p46 north-east)
    (CONNECTED p35 p45 east)
    (CONNECTED p35 p44 south-east)
    (CONNECTED p36 p47 north-east)
    (CONNECTED p36 p46 east)
    (CONNECTED p36 p45 south-east)
    (CONNECTED p37 p48 north-east)
    (CONNECTED p37 p47 east)
    (CONNECTED p37 p46 south-east)
    (CONNECTED p38 p49 north-east)
    (CONNECTED p38 p48 east)
    (CONNECTED p38 p47 south-east)
    (CONNECTED p39 p410 north-east)
    (CONNECTED p39 p49 east)
    (CONNECTED p39 p48 south-east)
    (CONNECTED p310 p411 north-east)
    (CONNECTED p310 p410 east)
    (CONNECTED p310 p49 south-east)
    (CONNECTED p311 p412 north-east)
    (CONNECTED p311 p411 east)
    (CONNECTED p311 p410 south-east)
    (CONNECTED p312 p413 north-east)
    (CONNECTED p312 p412 east)
    (CONNECTED p312 p411 south-east)
    (CONNECTED p313 p413 east)
    (CONNECTED p313 p412 south-east)
    (CONNECTED p41 p52 north-east)
    (CONNECTED p41 p51 east)
    (CONNECTED p42 p53 north-east)
    (CONNECTED p42 p52 east)
    (CONNECTED p42 p51 south-east)
    (CONNECTED p43 p54 north-east)
    (CONNECTED p43 p53 east)
    (CONNECTED p43 p52 south-east)
    (CONNECTED p44 p55 north-east)
    (CONNECTED p44 p54 east)
    (CONNECTED p44 p53 south-east)
    (CONNECTED p45 p56 north-east)
    (CONNECTED p45 p55 east)
    (CONNECTED p45 p54 south-east)
    (CONNECTED p46 p57 north-east)
    (CONNECTED p46 p56 east)
    (CONNECTED p46 p55 south-east)
    (CONNECTED p47 p58 north-east)
    (CONNECTED p47 p57 east)
    (CONNECTED p47 p56 south-east)
    (CONNECTED p48 p59 north-east)
    (CONNECTED p48 p58 east)
    (CONNECTED p48 p57 south-east)
    (CONNECTED p49 p510 north-east)
    (CONNECTED p49 p59 east)
    (CONNECTED p49 p58 south-east)
    (CONNECTED p410 p511 north-east)
    (CONNECTED p410 p510 east)
    (CONNECTED p410 p59 south-east)
    (CONNECTED p411 p512 north-east)
    (CONNECTED p411 p511 east)
    (CONNECTED p411 p510 south-east)
    (CONNECTED p412 p513 north-east)
    (CONNECTED p412 p512 east)
    (CONNECTED p412 p511 south-east)
    (CONNECTED p413 p513 east)
    (CONNECTED p413 p512 south-east)
    (CONNECTED p51 p62 north-east)
    (CONNECTED p51 p61 east)
    (CONNECTED p52 p63 north-east)
    (CONNECTED p52 p62 east)
    (CONNECTED p52 p61 south-east)
    (CONNECTED p53 p64 north-east)
    (CONNECTED p53 p63 east)
    (CONNECTED p53 p62 south-east)
    (CONNECTED p54 p65 north-east)
    (CONNECTED p54 p64 east)
    (CONNECTED p54 p63 south-east)
    (CONNECTED p55 p66 north-east)
    (CONNECTED p55 p65 east)
    (CONNECTED p55 p64 south-east)
    (CONNECTED p56 p67 north-east)
    (CONNECTED p56 p66 east)
    (CONNECTED p56 p65 south-east)
    (CONNECTED p57 p68 north-east)
    (CONNECTED p57 p67 east)
    (CONNECTED p57 p66 south-east)
    (CONNECTED p58 p69 north-east)
    (CONNECTED p58 p68 east)
    (CONNECTED p58 p67 south-east)
    (CONNECTED p59 p610 north-east)
    (CONNECTED p59 p69 east)
    (CONNECTED p59 p68 south-east)
    (CONNECTED p510 p611 north-east)
    (CONNECTED p510 p610 east)
    (CONNECTED p510 p69 south-east)
    (CONNECTED p511 p612 north-east)
    (CONNECTED p511 p611 east)
    (CONNECTED p511 p610 south-east)
    (CONNECTED p512 p613 north-east)
    (CONNECTED p512 p612 east)
    (CONNECTED p512 p611 south-east)
    (CONNECTED p513 p613 east)
    (CONNECTED p513 p612 south-east)
    (CONNECTED p61 p72 north-east)
    (CONNECTED p61 p71 east)
    (CONNECTED p62 p73 north-east)
    (CONNECTED p62 p72 east)
    (CONNECTED p62 p71 south-east)
    (CONNECTED p63 p74 north-east)
    (CONNECTED p63 p73 east)
    (CONNECTED p63 p72 south-east)
    (CONNECTED p64 p75 north-east)
    (CONNECTED p64 p74 east)
    (CONNECTED p64 p73 south-east)
    (CONNECTED p65 p76 north-east)
    (CONNECTED p65 p75 east)
    (CONNECTED p65 p74 south-east)
    (CONNECTED p66 p77 north-east)
    (CONNECTED p66 p76 east)
    (CONNECTED p66 p75 south-east)
    (CONNECTED p67 p78 north-east)
    (CONNECTED p67 p77 east)
    (CONNECTED p67 p76 south-east)
    (CONNECTED p68 p79 north-east)
    (CONNECTED p68 p78 east)
    (CONNECTED p68 p77 south-east)
    (CONNECTED p69 p710 north-east)
    (CONNECTED p69 p79 east)
    (CONNECTED p69 p78 south-east)
    (CONNECTED p610 p711 north-east)
    (CONNECTED p610 p710 east)
    (CONNECTED p610 p79 south-east)
    (CONNECTED p611 p712 north-east)
    (CONNECTED p611 p711 east)
    (CONNECTED p611 p710 south-east)
    (CONNECTED p612 p713 north-east)
    (CONNECTED p612 p712 east)
    (CONNECTED p612 p711 south-east)
    (CONNECTED p613 p713 east)
    (CONNECTED p613 p712 south-east)
    (CONNECTED p71 p82 north-east)
    (CONNECTED p71 p81 east)
    (CONNECTED p72 p83 north-east)
    (CONNECTED p72 p82 east)
    (CONNECTED p72 p81 south-east)
    (CONNECTED p73 p84 north-east)
    (CONNECTED p73 p83 east)
    (CONNECTED p73 p82 south-east)
    (CONNECTED p74 p85 north-east)
    (CONNECTED p74 p84 east)
    (CONNECTED p74 p83 south-east)
    (CONNECTED p75 p86 north-east)
    (CONNECTED p75 p85 east)
    (CONNECTED p75 p84 south-east)
    (CONNECTED p76 p87 north-east)
    (CONNECTED p76 p86 east)
    (CONNECTED p76 p85 south-east)
    (CONNECTED p77 p88 north-east)
    (CONNECTED p77 p87 east)
    (CONNECTED p77 p86 south-east)
    (CONNECTED p78 p89 north-east)
    (CONNECTED p78 p88 east)
    (CONNECTED p78 p87 south-east)
    (CONNECTED p79 p810 north-east)
    (CONNECTED p79 p89 east)
    (CONNECTED p79 p88 south-east)
    (CONNECTED p710 p811 north-east)
    (CONNECTED p710 p810 east)
    (CONNECTED p710 p89 south-east)
    (CONNECTED p711 p812 north-east)
    (CONNECTED p711 p811 east)
    (CONNECTED p711 p810 south-east)
    (CONNECTED p712 p813 north-east)
    (CONNECTED p712 p812 east)
    (CONNECTED p712 p811 south-east)
    (CONNECTED p713 p813 east)
    (CONNECTED p713 p812 south-east)
    (CONNECTED p81 p92 north-east)
    (CONNECTED p81 p91 east)
    (CONNECTED p82 p93 north-east)
    (CONNECTED p82 p92 east)
    (CONNECTED p82 p91 south-east)
    (CONNECTED p83 p94 north-east)
    (CONNECTED p83 p93 east)
    (CONNECTED p83 p92 south-east)
    (CONNECTED p84 p95 north-east)
    (CONNECTED p84 p94 east)
    (CONNECTED p84 p93 south-east)
    (CONNECTED p85 p96 north-east)
    (CONNECTED p85 p95 east)
    (CONNECTED p85 p94 south-east)
    (CONNECTED p86 p97 north-east)
    (CONNECTED p86 p96 east)
    (CONNECTED p86 p95 south-east)
    (CONNECTED p87 p98 north-east)
    (CONNECTED p87 p97 east)
    (CONNECTED p87 p96 south-east)
    (CONNECTED p88 p99 north-east)
    (CONNECTED p88 p98 east)
    (CONNECTED p88 p97 south-east)
    (CONNECTED p89 p910 north-east)
    (CONNECTED p89 p99 east)
    (CONNECTED p89 p98 south-east)
    (CONNECTED p810 p911 north-east)
    (CONNECTED p810 p910 east)
    (CONNECTED p810 p99 south-east)
    (CONNECTED p811 p912 north-east)
    (CONNECTED p811 p911 east)
    (CONNECTED p811 p910 south-east)
    (CONNECTED p812 p913 north-east)
    (CONNECTED p812 p912 east)
    (CONNECTED p812 p911 south-east)
    (CONNECTED p813 p913 east)
    (CONNECTED p813 p912 south-east)
    (CONNECTED p91 p102 north-east)
    (CONNECTED p91 p101 east)
    (CONNECTED p92 p103 north-east)
    (CONNECTED p92 p102 east)
    (CONNECTED p92 p101 south-east)
    (CONNECTED p93 p104 north-east)
    (CONNECTED p93 p103 east)
    (CONNECTED p93 p102 south-east)
    (CONNECTED p94 p105 north-east)
    (CONNECTED p94 p104 east)
    (CONNECTED p94 p103 south-east)
    (CONNECTED p95 p106 north-east)
    (CONNECTED p95 p105 east)
    (CONNECTED p95 p104 south-east)
    (CONNECTED p96 p107 north-east)
    (CONNECTED p96 p106 east)
    (CONNECTED p96 p105 south-east)
    (CONNECTED p97 p108 north-east)
    (CONNECTED p97 p107 east)
    (CONNECTED p97 p106 south-east)
    (CONNECTED p98 p109 north-east)
    (CONNECTED p98 p108 east)
    (CONNECTED p98 p107 south-east)
    (CONNECTED p99 p1010 north-east)
    (CONNECTED p99 p109 east)
    (CONNECTED p99 p108 south-east)
    (CONNECTED p910 p1011 north-east)
    (CONNECTED p910 p1010 east)
    (CONNECTED p910 p109 south-east)
    (CONNECTED p911 p1012 north-east)
    (CONNECTED p911 p1011 east)
    (CONNECTED p911 p1010 south-east)
    (CONNECTED p912 p1013 north-east)
    (CONNECTED p912 p1012 east)
    (CONNECTED p912 p1011 south-east)
    (CONNECTED p913 p1013 east)
    (CONNECTED p913 p1012 south-east)
    (CONNECTED p101 p12 north-east)
    (CONNECTED p101 p11 east)
    (CONNECTED p102 p13 north-east)
    (CONNECTED p102 p12 east)
    (CONNECTED p102 p11 south-east)
    (CONNECTED p103 p14 north-east)
    (CONNECTED p103 p13 east)
    (CONNECTED p103 p12 south-east)
    (CONNECTED p104 p15 north-east)
    (CONNECTED p104 p14 east)
    (CONNECTED p104 p13 south-east)
    (CONNECTED p105 p16 north-east)
    (CONNECTED p105 p15 east)
    (CONNECTED p105 p14 south-east)
    (CONNECTED p106 p17 north-east)
    (CONNECTED p106 p16 east)
    (CONNECTED p106 p15 south-east)
    (CONNECTED p107 p18 north-east)
    (CONNECTED p107 p17 east)
    (CONNECTED p107 p16 south-east)
    (CONNECTED p108 p19 north-east)
    (CONNECTED p108 p18 east)
    (CONNECTED p108 p17 south-east)
    (CONNECTED p109 p110 north-east)
    (CONNECTED p109 p19 east)
    (CONNECTED p109 p18 south-east)
    (CONNECTED p1010 p111 north-east)
    (CONNECTED p1010 p110 east)
    (CONNECTED p1010 p19 south-east)
    (CONNECTED p1011 p112 north-east)
    (CONNECTED p1011 p111 east)
    (CONNECTED p1011 p110 south-east)
    (CONNECTED p1012 p113 north-east)
    (CONNECTED p1012 p112 east)
    (CONNECTED p1012 p111 south-east)
    (CONNECTED p1013 p113 east)
    (CONNECTED p1013 p112 south-east)
    (is-focal-point p17)
    (is-target p11)
    (is-target p12)
    (is-target p14)
    (is-target p15)
    (is-target p17)
    (is-target p110)
    (is-target p111)
    (is-target p112)
    (is-target p113)
    (is-target p22)
    (is-target p27)
    (is-target p28)
    (is-target p31)
    (is-target p34)
    (is-target p36)
    (is-target p37)
    (is-target p39)
    (is-target p310)
    (is-target p311)
    (is-target p312)
    (is-target p44)
    (is-target p45)
    (is-target p48)
    (is-target p410)
    (is-target p412)
    (is-target p51)
    (is-target p53)
    (is-target p54)
    (is-target p55)
    (is-target p58)
    (is-target p59)
    (is-target p510)
    (is-target p61)
    (is-target p63)
    (is-target p64)
    (is-target p611)
    (is-target p612)
    (is-target p613)
    (is-target p72)
    (is-target p75)
    (is-target p77)
    (is-target p713)
    (is-target p81)
    (is-target p83)
    (is-target p85)
    (is-target p88)
    (is-target p813)
    (is-target p91)
    (is-target p93)
    (is-target p94)
    (is-target p95)
    (is-target p97)
    (is-target p98)
    (is-target p910)
    (is-target p911)
    (is-target p912)
    (is-target p101)
    (is-target p105)
    (is-target p106)
    (is-target p109)
    (is-target p1011)
    (is-target p1012)
    (is-target p1013)
  )
  (:goal (and
    (not (is-target p11))
    (not (is-target p12))
    (not (is-target p14))
    (not (is-target p15))
    (not (is-target p17))
    (not (is-target p110))
    (not (is-target p111))
    (not (is-target p112))
    (not (is-target p113))
    (not (is-target p22))
    (not (is-target p27))
    (not (is-target p28))
    (not (is-target p31))
    (not (is-target p34))
    (not (is-target p36))
    (not (is-target p37))
    (not (is-target p39))
    (not (is-target p310))
    (not (is-target p311))
    (not (is-target p312))
    (not (is-target p44))
    (not (is-target p45))
    (not (is-target p48))
    (not (is-target p410))
    (not (is-target p412))
    (not (is-target p51))
    (not (is-target p53))
    (not (is-target p54))
    (not (is-target p55))
    (not (is-target p58))
    (not (is-target p59))
    (not (is-target p510))
    (not (is-target p61))
    (not (is-target p63))
    (not (is-target p64))
    (not (is-target p611))
    (not (is-target p612))
    (not (is-target p613))
    (not (is-target p72))
    (not (is-target p75))
    (not (is-target p77))
    (not (is-target p713))
    (not (is-target p81))
    (not (is-target p83))
    (not (is-target p85))
    (not (is-target p88))
    (not (is-target p813))
    (not (is-target p91))
    (not (is-target p93))
    (not (is-target p94))
    (not (is-target p95))
    (not (is-target p97))
    (not (is-target p98))
    (not (is-target p910))
    (not (is-target p911))
    (not (is-target p912))
    (not (is-target p101))
    (not (is-target p105))
    (not (is-target p106))
    (not (is-target p109))
    (not (is-target p1011))
    (not (is-target p1012))
    (not (is-target p1013))
  ))
  (:metric minimize (total-cost))
)
